# License
https://www.gnu.org/licenses/agpl-3.0.en.html
# Install Instructions
1. Download a userscript manager browser extension. We recommend ViolentMonkey or Greasemonkey.
2. Add PrintProof.js userscript.
3. Enjoy more private browser.

